1. SAT 2011-Theory and Applications of Satisfiability Testing
پدیدآورنده: / Karem A. Sakallah, Laurent Simon
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
رده :
E-BOOK

2. Theory and application of satisfiability testing - SAT2011
پدیدآورنده: [edited by]& Karem A. Sakallah, Laurent Simon
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع:
